home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 7 / Apprentice-Release7.iso / Source Code / C / Applications / Moscow ML 1.42 / lib / Arraysort.sig < prev    next >
Encoding:
Text File  |  1997-08-18  |  369 b   |  12 lines  |  [TEXT/Moml]
  1. (* Arraysort -- SML/NJ library *)
  2.  
  3. val sort   : ('a * 'a -> order) -> 'a Array.array -> unit
  4. val sorted : ('a * 'a -> order) -> 'a Array.array -> bool
  5.  
  6. (* 
  7.    [sort ordr arr] sorts array arr in-place, using ordering relation ordr.
  8.  
  9.    [sorted ordr arr] returns true if the elements of array arr is
  10.    appear in (weakly) increasing order, according to ordering ordr.
  11. *)
  12.